Uniform Strategies

We consider turn-based game arenas for which we explore a notion of uniform strategies, which are strategies submitted to uniformity constraints. Such constraints aim at capturing properties of strategies that are not μ-calculus definable as they involve bundles of plays. Typical examples are knowledge-based strategies in imperfect-information games, and the so-called “uniform strategies” for the game semantics of Dependence Logic. We propose a formal language to specify uniform strategies and demonstrate the relevance of the concept by capturing various issues arising from the literature.